نگاهی به زندگی آیت الله شهید، سید مصطفی خمینی